[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 86 84 84 200 333 87 97

N.S.

1 1.00 0.91 0.89 0.89 2.13 3.54 0.93 1.03

time (sec)

N/A 0.075 0.093 0.645 0.302 0.304 0.754 0.261 12.889

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 204 235 220 500 933 263 253

N.S.

1 1.00 0.89 1.03 0.96 2.19 4.09 1.15 1.11

time (sec)

N/A 0.198 0.152 0.734 0.301 0.288 15.556 0.258 0.265

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

441 441 422 592 471 1014 0 623 552

N.S.

1 1.00 0.96 1.34 1.07 2.30 0.00 1.41 1.25

time (sec)

N/A 0.370 0.303 0.754 0.283 0.306 0.000 0.261 13.203

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 274 212 239 0 0 0 266 3888

N.S.

1 1.00 0.77 0.87 0.00 0.00 0.00 0.97 14.19

time (sec)

N/A 0.173 0.219 0.950 0.000 0.000 0.000 0.259 75.857

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

596 596 523 1254 0 0 0 1313 23006

N.S.

1 1.00 0.88 2.10 0.00 0.00 0.00 2.20 38.60

time (sec)

N/A 1.037 1.100 1.549 0.000 0.000 0.000 0.276 18.332

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 331 619 541 0 0 0 0 0

N.S.

1 1.00 1.87 1.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.387 0.947 0.819 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 219 389 0 6113 0 0 0

N.S.

1 1.00 0.88 1.56 0.00 24.55 0.00 0.00 0.00

time (sec)

N/A 0.167 0.385 0.786 0.000 34.857 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 380 753 934 0 0 0 0 0

N.S.

1 1.00 1.98 2.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.536 1.151 0.786 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

797 796 674 1768 0 0 0 0 0

N.S.

1 1.00 0.85 2.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.169 12.518 0.753 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 37 46 65 46 0 48 0

N.S.

1 1.00 0.79 0.98 1.38 0.98 0.00 1.02 0.00

time (sec)

N/A 0.021 0.112 0.639 0.267 0.268 0.000 0.279 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

117 117 106 246 0 93 0 457 0

N.S.

1 1.00 0.91 2.10 0.00 0.79 0.00 3.91 0.00

time (sec)

N/A 0.114 0.127 2.078 0.000 0.414 0.000 0.340 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

484 484 210 6870946 0 307 0 0 0

N.S.

1 1.00 0.43 14196.17 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 22.979 0.363 116.444 0.000 0.368 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 182 175 190 0 583 1260 189 273

N.S.

1 0.99 0.95 1.03 0.00 3.17 6.85 1.03 1.48

time (sec)

N/A 0.219 0.104 0.846 0.000 0.312 6.326 0.264 13.661

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

542 542 535 800 0 1837 4663 743 893

N.S.

1 1.00 0.99 1.48 0.00 3.39 8.60 1.37 1.65

time (sec)

N/A 0.620 0.453 0.925 0.000 0.418 82.394 0.275 15.368

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

406 398 267 384 0 0 0 405 0

N.S.

1 0.98 0.66 0.95 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.295 0.242 1.569 0.000 0.000 0.000 0.275 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1075 1067 952 0 0 0 0 3236 118429

N.S.

1 0.99 0.89 0.00 0.00 0.00 0.00 3.01 110.17

time (sec)

N/A 2.476 3.869 180.000 0.000 0.000 0.000 0.332 50.268

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 131 141 0 1150 709 219 395

N.S.

1 1.00 0.94 1.01 0.00 8.21 5.06 1.56 2.82

time (sec)

N/A 0.082 0.087 0.902 0.000 0.347 1.085 0.275 0.422

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 131 141 0 1130 680 207 375

N.S.

1 1.00 0.94 1.01 0.00 8.07 4.86 1.48 2.68

time (sec)

N/A 0.060 0.018 0.950 0.000 0.341 1.083 0.269 12.763

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

617 615 1115 1176 0 0 0 0 0

N.S.

1 1.00 1.81 1.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.606 1.276 0.994 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

1092 1092 3516 2278 0 0 0 0 0

N.S.

1 1.00 3.22 2.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 16.384 6.532 1.081 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 278 805 0 22103 0 0 0

N.S.

1 1.00 0.67 1.94 0.00 53.13 0.00 0.00 0.00

time (sec)

N/A 1.743 0.435 1.011 0.000 277.457 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

780 780 218 425 0 6861 0 0 0

N.S.

1 1.00 0.28 0.54 0.00 8.80 0.00 0.00 0.00

time (sec)

N/A 2.375 0.373 0.773 0.000 28.212 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

302 302 195 639 0 8977 0 0 0

N.S.

1 1.00 0.65 2.12 0.00 29.73 0.00 0.00 0.00

time (sec)

N/A 0.512 0.378 0.773 0.000 43.725 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 349 337 0 1515 0 0 0

N.S.

1 1.00 3.46 3.34 0.00 15.00 0.00 0.00 0.00

time (sec)

N/A 0.086 1.447 0.575 0.000 0.375 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 149 176 361 309 0 16965 0

N.S.

1 1.00 1.07 1.27 2.60 2.22 0.00 122.05 0.00

time (sec)

N/A 0.140 0.188 2.369 0.309 0.294 0.000 255.510 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 137 195 678 361 0 16200 0

N.S.

1 1.00 0.83 1.17 4.08 2.17 0.00 97.59 0.00

time (sec)

N/A 0.143 0.330 2.395 0.294 0.308 0.000 199.977 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

193 193 183 484 1276 439 0 0 0

N.S.

1 1.00 0.95 2.51 6.61 2.27 0.00 0.00 0.00

time (sec)

N/A 0.170 0.448 2.271 0.324 0.307 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 109 186 363 245 0 93 0

N.S.

1 1.00 0.72 1.23 2.40 1.62 0.00 0.62 0.00

time (sec)

N/A 0.152 0.636 2.316 0.311 0.308 0.000 0.314 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 130 209 668 365 0 112 0

N.S.

1 1.00 0.75 1.20 3.84 2.10 0.00 0.64 0.00

time (sec)

N/A 0.168 0.817 2.460 0.298 0.323 0.000 0.314 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

197 197 154 471 1276 435 0 121 0

N.S.

1 1.00 0.78 2.39 6.48 2.21 0.00 0.61 0.00

time (sec)

N/A 0.192 0.908 2.517 0.317 0.299 0.000 0.319 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 0 49 32 31 13

N.S.

1 1.00 1.00 0.93 0.00 3.27 2.13 2.07 0.87

time (sec)

N/A 0.016 0.149 0.835 0.000 0.301 1.958 0.283 12.559

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 55 40 0 106 0 108 0

N.S.

1 1.00 1.25 0.91 0.00 2.41 0.00 2.45 0.00

time (sec)

N/A 0.034 0.200 0.823 0.000 0.323 0.000 0.285 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 20 0 34 39 39 19

N.S.

1 1.00 1.00 0.83 0.00 1.42 1.62 1.62 0.79

time (sec)

N/A 0.011 0.193 1.776 0.000 0.287 1.740 0.276 12.551

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 92 45 0 203 0 133 0

N.S.

1 1.00 1.64 0.80 0.00 3.62 0.00 2.38 0.00

time (sec)

N/A 0.031 0.118 0.986 0.000 0.301 0.000 0.299 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 2374 1430 0 0 0 5022 0

N.S.

1 1.00 9.53 5.74 0.00 0.00 0.00 20.17 0.00

time (sec)

N/A 0.523 3.530 1.378 0.000 0.000 0.000 0.532 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 46 48 0 85 0 81 49

N.S.

1 1.00 0.96 1.00 0.00 1.77 0.00 1.69 1.02

time (sec)

N/A 0.029 0.361 1.046 0.000 0.515 0.000 0.300 12.421

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 0 56 0 98 0

N.S.

1 1.00 1.00 1.06 0.00 3.29 0.00 5.76 0.00

time (sec)

N/A 0.013 0.153 0.819 0.000 0.312 0.000 0.280 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 51 123 0 132 0 163 0

N.S.

1 1.00 0.59 1.43 0.00 1.53 0.00 1.90 0.00

time (sec)

N/A 0.110 0.181 0.820 0.000 0.291 0.000 0.303 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 108 121 0 0 0 0 0

N.S.

1 1.00 0.79 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.067 0.233 0.896 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

212 212 107 103 0 175 0 117 0

N.S.

1 1.00 0.50 0.49 0.00 0.83 0.00 0.55 0.00

time (sec)

N/A 0.076 0.167 0.454 0.000 0.284 0.000 0.291 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 161 95 83 0 157 0 98 0

N.S.

1 1.00 0.59 0.52 0.00 0.98 0.00 0.61 0.00

time (sec)

N/A 0.041 0.128 0.510 0.000 0.287 0.000 0.276 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 148 84 65 0 128 0 79 0

N.S.

1 1.00 0.57 0.44 0.00 0.86 0.00 0.53 0.00

time (sec)

N/A 0.033 0.140 0.507 0.000 0.308 0.000 0.286 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

160 160 118 92 0 341 0 0 0

N.S.

1 1.00 0.74 0.58 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.074 0.170 0.487 0.000 0.298 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 109 112 0 333 0 126 0

N.S.

1 1.00 0.70 0.72 0.00 2.13 0.00 0.81 0.00

time (sec)

N/A 0.070 0.180 0.503 0.000 0.294 0.000 0.288 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 124 107 0 377 0 199 0

N.S.

1 1.00 0.77 0.66 0.00 2.34 0.00 1.24 0.00

time (sec)

N/A 0.074 0.247 0.451 0.000 0.283 0.000 0.290 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 317 236 266 0 517 0 368 0

N.S.

1 1.00 0.74 0.84 0.00 1.63 0.00 1.16 0.00

time (sec)

N/A 0.202 0.607 0.673 0.000 0.354 0.000 0.314 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 176 199 0 391 0 265 0

N.S.

1 1.00 0.78 0.88 0.00 1.72 0.00 1.17 0.00

time (sec)

N/A 0.082 0.418 0.674 0.000 0.323 0.000 0.286 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 172 146 0 287 0 180 0

N.S.

1 1.00 0.87 0.74 0.00 1.45 0.00 0.91 0.00

time (sec)

N/A 0.069 0.671 0.667 0.000 0.328 0.000 0.502 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

211 211 149 215 0 651 0 0 0

N.S.

1 1.00 0.71 1.02 0.00 3.09 0.00 0.00 0.00

time (sec)

N/A 0.110 0.440 0.699 0.000 0.779 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 151 201 0 647 0 203 0

N.S.

1 1.00 0.75 1.00 0.00 3.20 0.00 1.00 0.00

time (sec)

N/A 0.098 0.452 0.591 0.000 0.450 0.000 0.658 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 155 157 0 693 0 434 0

N.S.

1 1.00 0.72 0.73 0.00 3.22 0.00 2.02 0.00

time (sec)

N/A 0.110 0.530 0.608 0.000 0.527 0.000 0.339 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

452 452 615 842 0 0 0 0 0

N.S.

1 1.00 1.36 1.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.299 0.691 0.816 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

395 395 379 769 0 0 0 0 0

N.S.

1 1.00 0.96 1.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.598 0.339 0.793 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 264 1212 0 2384 0 0 0

N.S.

1 1.00 0.89 4.07 0.00 8.00 0.00 0.00 0.00

time (sec)

N/A 0.216 0.288 0.740 0.000 138.398 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 358 310 1316 0 2266 0 0 0

N.S.

1 1.00 0.87 3.68 0.00 6.33 0.00 0.00 0.00

time (sec)

N/A 0.836 0.363 0.680 0.000 24.096 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

382 382 467 776 0 5324 0 0 0

N.S.

1 1.00 1.22 2.03 0.00 13.94 0.00 0.00 0.00

time (sec)

N/A 0.920 0.384 0.759 0.000 176.365 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

507 507 533 789 0 0 0 0 0

N.S.

1 1.00 1.05 1.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.156 0.792 0.840 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

795 795 1239 1183 0 0 0 0 0

N.S.

1 1.00 1.56 1.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.502 1.822 0.655 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

553 553 755 1039 0 0 0 0 0

N.S.

1 1.00 1.37 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.467 0.683 0.756 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

484 482 542 886 0 0 0 0 0

N.S.

1 1.00 1.12 1.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.743 0.552 0.776 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

496 496 552 2379 0 0 0 0 0

N.S.

1 1.00 1.11 4.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.432 0.547 0.652 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

604 604 497 957 0 0 0 0 0

N.S.

1 1.00 0.82 1.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.977 0.598 0.783 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

668 668 617 911 0 0 0 0 0

N.S.

1 1.00 0.92 1.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.223 0.783 0.701 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 380 312 713 0 0 0 0 0

N.S.

1 1.00 0.82 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.679 0.356 0.783 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 344 261 663 0 0 0 0 0

N.S.

1 1.00 0.76 1.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.356 0.744 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 294 156 622 0 5085 0 0 0

N.S.

1 1.00 0.53 2.12 0.00 17.30 0.00 0.00 0.00

time (sec)

N/A 0.153 0.283 0.737 0.000 1.029 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 131 589 0 5073 0 0 0

N.S.

1 1.00 0.49 2.21 0.00 19.07 0.00 0.00 0.00

time (sec)

N/A 0.083 0.283 0.634 0.000 1.030 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

330 330 236 681 0 0 0 0 0

N.S.

1 1.00 0.72 2.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.498 0.314 0.674 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

367 367 298 733 0 0 0 0 0

N.S.

1 1.00 0.81 2.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.787 0.394 0.812 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

457 457 422 777 0 0 0 0 0

N.S.

1 1.00 0.92 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.205 0.612 0.853 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

499 499 401 1576 0 27621 0 0 0

N.S.

1 1.00 0.80 3.16 0.00 55.35 0.00 0.00 0.00

time (sec)

N/A 1.532 0.590 0.645 0.000 121.373 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

410 410 385 1525 0 26116 0 0 0

N.S.

1 1.00 0.94 3.72 0.00 63.70 0.00 0.00 0.00

time (sec)

N/A 0.381 0.546 0.654 0.000 125.127 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 411 330 1490 0 26234 0 0 0

N.S.

1 1.00 0.80 3.63 0.00 63.83 0.00 0.00 0.00

time (sec)

N/A 0.505 0.499 0.748 0.000 105.280 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 346 1457 0 27447 0 0 0

N.S.

1 1.00 0.83 3.50 0.00 65.98 0.00 0.00 0.00

time (sec)

N/A 0.383 0.503 0.788 0.000 74.110 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

526 526 542 1565 0 0 0 0 0

N.S.

1 1.00 1.03 2.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.321 0.820 0.679 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

618 618 684 1639 0 0 0 0 0

N.S.

1 1.00 1.11 2.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.474 1.186 0.792 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 392 409 525 0 0 0 0 0

N.S.

1 1.00 1.04 1.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.621 0.689 0.905 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 316 319 483 0 0 0 0 0

N.S.

1 1.00 1.01 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.541 0.724 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 282 349 460 0 1192 0 0 0

N.S.

1 1.00 1.24 1.63 0.00 4.23 0.00 0.00 0.00

time (sec)

N/A 0.206 0.370 0.747 0.000 186.758 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 389 772 0 1139 0 0 0

N.S.

1 1.00 1.46 2.90 0.00 4.28 0.00 0.00 0.00

time (sec)

N/A 0.161 0.355 0.678 0.000 65.905 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 267 334 850 0 1253 0 0 0

N.S.

1 1.00 1.25 3.18 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.522 0.235 0.730 0.000 10.140 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 286 288 464 0 1094 0 0 0

N.S.

1 1.00 1.01 1.62 0.00 3.83 0.00 0.00 0.00

time (sec)

N/A 0.471 0.390 0.902 0.000 14.916 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 353 381 479 0 1485 0 0 0

N.S.

1 1.00 1.08 1.36 0.00 4.21 0.00 0.00 0.00

time (sec)

N/A 0.590 0.604 0.961 0.000 81.785 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 501 734 758 0 0 0 0 0

N.S.

1 1.00 1.47 1.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.913 2.019 0.802 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

417 417 608 648 0 0 0 0 0

N.S.

1 1.00 1.46 1.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.651 1.774 0.763 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 349 619 602 0 0 0 0 0

N.S.

1 1.00 1.77 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.985 0.734 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 315 729 545 0 0 0 0 0

N.S.

1 1.00 2.31 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.353 1.001 0.844 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

469 469 601 1639 0 0 0 0 0

N.S.

1 1.00 1.28 3.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.812 0.755 0.894 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

463 463 541 585 0 0 0 0 0

N.S.

1 1.00 1.17 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.785 0.649 0.850 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

614 614 587 549 0 0 0 0 0

N.S.

1 1.00 0.96 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.925 0.976 0.915 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 196 308 0 2579 0 0 0

N.S.

1 1.00 1.04 1.63 0.00 13.65 0.00 0.00 0.00

time (sec)

N/A 0.186 1.529 0.712 0.000 116.634 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 57 102 83 70 0 73 0

N.S.

1 1.00 0.76 1.36 1.11 0.93 0.00 0.97 0.00

time (sec)

N/A 0.036 0.089 0.694 0.271 0.311 0.000 0.279 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 121 267 0 132 0 0 0

N.S.

1 1.00 0.93 2.05 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.110 0.110 4.599 0.000 0.327 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 252 463 0 0 0 0 0

N.S.

1 1.00 0.68 1.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.493 0.682 0.841 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 210 409 0 0 0 0 0

N.S.

1 1.00 0.73 1.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.408 0.347 0.743 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 194 399 0 0 0 0 0

N.S.

1 1.00 0.73 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.263 0.800 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 149 354 0 2753 0 0 0

N.S.

1 1.00 0.68 1.61 0.00 12.51 0.00 0.00 0.00

time (sec)

N/A 0.111 0.203 0.822 0.000 0.648 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 160 358 0 2641 0 0 0

N.S.

1 1.00 0.73 1.63 0.00 12.00 0.00 0.00 0.00

time (sec)

N/A 0.078 0.234 0.786 0.000 0.717 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 267 193 391 0 5995 0 0 0

N.S.

1 1.00 0.72 1.46 0.00 22.45 0.00 0.00 0.00

time (sec)

N/A 0.435 0.229 0.764 0.000 47.358 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 216 426 0 6018 0 0 0

N.S.

1 1.00 0.74 1.46 0.00 20.68 0.00 0.00 0.00

time (sec)

N/A 0.414 0.443 0.809 0.000 209.662 0.000 0.000 0.000

[next] [front] [up]